Représentation non linéaire du groupe affine complexe

Combinatoire autour du groupe symétrique

Publications Du Groupe « Vérification Et Méthodes Formelles »

titative model-checking of one-clock timed automata under probabilistic semantics. [4] Bernard Boigelot and Julien Brusten. A generalization of cobham's theorem to automata over real numbers.

Frontière du fractal de Rauzy et système de numération complexe

Contribution à l'analyse non linéaire

Gelfand Models for Diagram Algebras : extended abstract

A Gelfand model for a semisimple algebra A over C is a complex linear representation that contains each irreducible representation of A with multiplicity exactly one. We give a method of constructing these models that works uniformly for a large class of combinatorial diagram algebras including: the partition, Brauer, rook monoid, rook-Brauer, Temperley-Lieb, Motzkin, and planar rook monoid alg...